5

Types for access control

Year:
2000
Language:
english
File:
PDF, 265 KB
english, 2000
6

Trace and Testing Equivalence on Asynchronous Processes

Year:
2002
Language:
english
File:
PDF, 205 KB
english, 2002
7

Proof Techniques for Cryptographic Processes

Year:
2001
Language:
english
File:
PDF, 458 KB
english, 2001
11

X-Klaim and Klava: Programming Mobile Code

Year:
2002
Language:
english
File:
PDF, 161 KB
english, 2002
18

Confining data and processes in global computing applications

Year:
2006
Language:
english
File:
PDF, 587 KB
english, 2006
21

Global computing in a dynamic network of tuple spaces

Year:
2007
Language:
english
File:
PDF, 405 KB
english, 2007
25

Basic observables for a calculus for global computing

Year:
2007
Language:
english
File:
PDF, 840 KB
english, 2007
44

On the expressive power of KLAIM-based calculi

Year:
2006
Language:
english
File:
PDF, 492 KB
english, 2006